منابع مشابه
A Constructive Proof of Coherence for Symmetric Monoidal Categories Using Rewriting
A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some coherence conditions. The coherence theorem asserts the commutativity of all linear diagrams involving the left and right unitors, the associator and the braidi...
متن کاملControlling rewriting by rewriting
In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational systems that are simply rewriting theories controlled by strategies. We illustrate the syntax, semantics and diierent features of this strategy language. Fina...
متن کاملConstructive Interactions Constructive Interactions
The new paradigm of “knowledge construction using experiential based and collaborative learning approaches” is an outstanding opportunity for interdisciplinary research. This document is an attempt to introduce and exemplify as much as possible using the lexicon of “social sciences”, considerations and tools belonging to “artificial intelligence” (e.g.: the machine learning tradition). In the p...
متن کاملBi-rewriting rewriting logic
Rewriting logic appears to have good properties as logical framework, and can be useful for the development of programming languages which attempt to integrate various paradigms of declarative programming. In this paper I propose to tend towards the operational semantics for such languages by basing it on bi-rewrite systems and ordered chaining calculi which apply rewrite techniques to rst-orde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1991
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/34.1.34